-
1 чистое исчисление предикатов
Математика: ЧИПУниверсальный англо-русский словарь > чистое исчисление предикатов
-
2 calculus
исчисление
– Boolean calculus
– calculus of probability
– calculus of variations
– differential calculus
– extended calculus
– functional calculus
– infinitesimal calculus
– integral calculus
– logical calculus
– matrix calculus
– operational calculus
– predicate calculus
– problem calculus
– propositional calculus
– sentential calculus
– spinor calculus
– tensor calculus
– vector calculus
one-place predicate calculus — исчисление одноместных предикатов
-
3 predicate
1) предикат
2) сказуемое
3) предикатный
4) утверждать
– predicate calculus
– predicate logic
– resolvable predicate
one-place predicate calculus — исчисление одноместных предикатов
-
4 pure
1) чистый
2) беспримесный
3) строгий
4) несмешанный
5) безприсадочный
– pure air
– pure bending
– pure binary
– pure cathode
– pure crystal
– pure glycerin
– pure imaginary
– pure isotope
– pure lime
– pure mathematics
– pure number
– pure oxygen
– pure quadratic
– pure rotation
– pure rubber
– pure scattering
– pure semiconductor
– pure strain
– pure strategy
– pure subgroup
– pure substance
– pure surd
– pure tone
– pure variety
– pure water
upper pure value — верхняя цена, верхняя чистая цена
-
5 PPC
1) Общая лексика: Progress Payment Certificate, portable prover computer, private protector company2) Компьютерная техника: Pocket Personal Computer, Power Processing Chip, (Pay-Per-Click) система оплаты за клик, КПК (оснащённый Windows)3) Американизм: Planning and Programming Control4) Спорт: Past Present Competitions5) Военный термин: Particle Projectile Cannon, Petroleum Planning Committee, Precision Pistol Competition, Printing and Publications Center, partial pay card, phased provisioning code, pistol practice course, platform position computer, point of possible collision, power plant change, preprocessing center, priority placement certificate, program planning and control6) Техника: Pressure Proportional Control, plain-paper copier, plutonium process cell, pore pressure cell, preproduction costs, present position computer, pressure pulse cleaning, пропорциональный регулятор давления7) Шутливое выражение: Phone Phun Crew8) Математика: чистое исчисление предикатов (pure predicate calculus)9) Юридический термин: Personal Prison Cell, Police Pistol Combat, Practical Police Combat10) Торговля: Product Price Close11) Бухгалтерия: Practitioners Publishing Company12) Грубое выражение: Personal Piece Of Crap13) Полиграфия: Printers' Pension Corporation14) Телекоммуникации: power per carrier15) Сокращение: Policy Planning Council, Procurement Policy Committee, Pulse Position Code (radar uplink / downlink), Pour Prendre Conge' (to take leave)16) Физиология: polyenylphosphatidylcholine17) Электроника: Photo Persistent Conductivity20) Воздухоплавание: Patrol Plane Commander21) Фирменный знак: Parsons Paper Company, Pixie Pixel Creations23) Деловая лексика: Pluses Potentials And Concerns, Production Performance Criteria24) Образование: Personal Protection Class, Positive Peer Culture, Predicted Percentage Correct, Professional Practices Commission25) Сетевые технологии: Program To Program Communications26) Программирование: Pointer To Pointer To Character27) Автоматика: production planning and control28) Химическое оружие: Personnel protective clothing29) Хроматография: позитивный контрольный образец (Positive sample control)30) Автоматическое регулирование: Programmable Process Controller31) Электротехника: pulse phase control, pulsed power circuit32) Компьютерные игры: ПИИ (протонно-ионный излучатель (particle projectile cannon) из вселенной Battletech)33) Должность: Personal And Professional Capabilities -
6 ppc
1) Общая лексика: Progress Payment Certificate, portable prover computer, private protector company2) Компьютерная техника: Pocket Personal Computer, Power Processing Chip, (Pay-Per-Click) система оплаты за клик, КПК (оснащённый Windows)3) Американизм: Planning and Programming Control4) Спорт: Past Present Competitions5) Военный термин: Particle Projectile Cannon, Petroleum Planning Committee, Precision Pistol Competition, Printing and Publications Center, partial pay card, phased provisioning code, pistol practice course, platform position computer, point of possible collision, power plant change, preprocessing center, priority placement certificate, program planning and control6) Техника: Pressure Proportional Control, plain-paper copier, plutonium process cell, pore pressure cell, preproduction costs, present position computer, pressure pulse cleaning, пропорциональный регулятор давления7) Шутливое выражение: Phone Phun Crew8) Математика: чистое исчисление предикатов (pure predicate calculus)9) Юридический термин: Personal Prison Cell, Police Pistol Combat, Practical Police Combat10) Торговля: Product Price Close11) Бухгалтерия: Practitioners Publishing Company12) Грубое выражение: Personal Piece Of Crap13) Полиграфия: Printers' Pension Corporation14) Телекоммуникации: power per carrier15) Сокращение: Policy Planning Council, Procurement Policy Committee, Pulse Position Code (radar uplink / downlink), Pour Prendre Conge' (to take leave)16) Физиология: polyenylphosphatidylcholine17) Электроника: Photo Persistent Conductivity20) Воздухоплавание: Patrol Plane Commander21) Фирменный знак: Parsons Paper Company, Pixie Pixel Creations23) Деловая лексика: Pluses Potentials And Concerns, Production Performance Criteria24) Образование: Personal Protection Class, Positive Peer Culture, Predicted Percentage Correct, Professional Practices Commission25) Сетевые технологии: Program To Program Communications26) Программирование: Pointer To Pointer To Character27) Автоматика: production planning and control28) Химическое оружие: Personnel protective clothing29) Хроматография: позитивный контрольный образец (Positive sample control)30) Автоматическое регулирование: Programmable Process Controller31) Электротехника: pulse phase control, pulsed power circuit32) Компьютерные игры: ПИИ (протонно-ионный излучатель (particle projectile cannon) из вселенной Battletech)33) Должность: Personal And Professional Capabilities -
7 pure predicate calculus
Математика: чистое исчисление предикатовУниверсальный англо-русский словарь > pure predicate calculus
-
8 pure predicate calculus
логикаEnglish-Russian scientific dictionary > pure predicate calculus
См. также в других словарях:
ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ — формализации содержательных логич. теорий; выводимые объекты Л. п. интерпретируются как суждения, составленные из простейших (имеющих, вообще говоря, субъектно предикатную структуру) при помощи пропозициональных связок и кванторов. Чаще всего… … Математическая энциклопедия
парадокс — ПАРАДОКС (от греч. para вне и doxa мнение). 1) В широком (внелогическом) смысле все то, что так или иначе вступает в конфликт (расходится) с общепринятым мнением, подтвержденным традицией, законом, правилом, нормой или здравым смыслом.… … Энциклопедия эпистемологии и философии науки
ФРЕГЕ — (Frege) Готлоб (1848 1925) немецкий логик, математик и философ. Профессор Йенского университета. Оказал формирующее влияние на современную формальную логику, основания математики и аналитическое направление философии в 20 в. Основные труды:… … История Философии: Энциклопедия
ФРЕГЕ отлоб (1848-1925) — немецкий логик, математик и философ. Профессор Йенского университета. Оказал формирующее влияние на современную формальную логику, основания математики и аналитическое направление философии в 20 в. Основные труды: Запись в понятиях (1879), Основы … История Философии: Энциклопедия
Пирс Чарлз Сандерс — (Pierce) (1839 1914), американский философ, логик, математик и естествоиспытатель. Родоначальник прагматизма. Выдвинул принцип, согласно которому содержание понятия целиком исчерпывается представлением о его возможных последствиях. Основатель… … Энциклопедический словарь
Аристотель и перипатетики — Аристотелевский вопрос Жизнь Аристотеля Аристотель родился в 384/383 гг. до н. э. в Стагире, на границе с Македонией. Его отец по имени Никомах был врачом на службе у македонского царя Аминта, отца Филиппа. Вместе с семьей молодой Аристотель… … Западная философия от истоков до наших дней